Formal semantics of meta-level architectures: Dynamic control of reasoning
نویسنده
چکیده
Meta-level architectures for dynamic control of reasoning processes are quite powerful. In the literature many applications in reasoning systems modelling complex tasks are described, usually in a procedural manner. In this paper we present a semantic framework based on temporal partial logic to describe the dynamics of reasoning behaviour. Using these models the semantics of the behaviour of the whole (meta-level) reasoning system can be described by a set of (intended) temporal models.
منابع مشابه
Formal Semantics of Temporal Epistemic Reflection
In this paper we show how a formal semantics can be given to reasoning processes in meta-level architectures that reason about (object level) knowledge states and changes of them. Especially the attention is focused on the upward and downward reflections in these architectures. Temporalized epistemic logic is used to specify meta-level reasoning processes and the outcomes of these.
متن کاملFormal semantics of meta-level architectures: Temporal epistemic reflection
In this article we show how formal semantics can be given to reasoning processes in meta-level architectures that reason about (object level) knowledge states and effects changes may have on them. Especially, attention is focused on the upward and downward reflections in these architectures. Temporalized epistemic logic is used to specify meta-level reasoning processes and the outcomes of these...
متن کاملFormal Specification of Reflective Agents
Many autonomous agents exhibit reflective behaviour: they not only reason about their own behaviour, but also about other agents' behaviour. To model and formally specify such behaviour requires a framework which provides constructs designed for this purpose. DESIRE (framework for DEsign and Specification of Interacting REasoning components; cf. [LPT92], [BTWW94]), a compositional framework for...
متن کاملAn Architecture Description Language Based on Dynamic Description Logics
ADML is an architectural description language based on Dynamic Description Logic for defining and simulating the behavior of system architecture. ADML is being developed as a new formal language and/or conceptual model for representing the architectures of concurrent and distributed systems, both hardware and software. ADML embraces dynamic change as a fundamental consideration, supports a broa...
متن کاملMachine Learning and Knowledge Acquisition Acknowledgment Machine Learning and Knowledge Acquisition 4.3. Axiomatization
427 D. Fensel and R. Groenboom choose and the range constructs, cf. [7]). Otherwise, current operationalizations and axiomizations of ealgebras are restricted to the case of point-wise updates. A further difference to our approach is that MLPM provides a richer vocabulary to express control over the execution of transitions. The language DESIRE uses the notion of meta-layered compositional arch...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Int. J. Intell. Syst.
دوره 17 شماره
صفحات -
تاریخ انتشار 2002